Пропозициональные Логические Системы - Кудинов А.в. Лекция 1